Towards Model Driven Verifiable Deployment of Distributed Simulations in Cloud

Running simulations on cloud computing platforms offers advantages to users such as on-demand computing and scalability. Despite these benefits offered by cloud computing platforms, limitations exists in verifiable and efficient deployment of these simulations in the cloud. Moreover, distributed simulations impose additional requirements of coordinated time stepped execution to progress the simulations. As such, deadline-aware resource allocation for different simulation entities and dynamic execution of load balancing strategies are required to minimize the total execution time. Also, the cloud provider’s interest in minimal execution cost is another requirement which demands workload consolidation for these distributed simulations. In this context, there is a general lack of mechanisms that address these concerns in the cloud hosted distributed simulation space. To address these gaps, this research proposes Model Driven Verifiable Distributed Simulations in Cloud (MoViDiX). It provides DSML building blocks for rapid provisioning of distributed simulations in cloud. It also provides a verification subsystem that identifies simulation resource incompatibilities and finds solution for verified deployment of the simulation. Leveraging Models@Runtime principles, dynamic resource management for effective simulations for deadline aware execution is proposed.